$\forall$$A$, $B$:Type, $x$:$A$, $y$:$B$. ((inl $x$ ) = (inr $y$ ) $\in$ ($A$ + $B$)) $\Rightarrow$ False